\documentclass[orivec]{llncs}

\usepackage{intestazione}

\usepackage{macro}
\usepackage{hyperref}




\begin{document}

%
\frontmatter          
\pagestyle{headings}  
%
\mainmatter           

\title{Behavioral Theory for Adaptable Processes}


 \author{Cinzia Di Giusto\inst{1} \and Serguei Lenglet \and \inst{} Jorge A. P\'erez\inst{2}}

\institute{
CEA-LIST, Saclay, France
\and 
CITI - Dept. of Computer Science, FCT New University of Lisbon, Portugal
}
\maketitle      
\begin{abstract}
\end{abstract}


\section{Introduction}
   % \input{introduction}

\section{The \evol{} Calculus}\label{s:calculi}
   \input{calculi}

\section{Barbed Congruence and Labelled Bisimilarities}
	\input{bisimul}

\section{Concluding Remarks}\label{s:conc}
  %\input{conclusion}


\bibliographystyle{abbrv}
\bibliography{DSbib,referen}

\end{document}